2. Advances in Petri nets, 1984
پدیدآورنده : edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine theory -- Congresses.,Petri nets -- Congresses.,Pétri, Réseaux de -- Congrès.
رده :
QA267
.
E358
1985
3. Artificial evolution :
پدیدآورنده : Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
618
4. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
5. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
6. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnus Steinby
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
7. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
I47
1981
8. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
9. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده : edited by Laurent kott
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
11. Communicating Process Architectures 2002 :
پدیدآورنده : edited by James Pascoe [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
رده :
QA76
.
73
.
O2
W67
2002eb
12. Computational linguistics and intelligent text processing
پدیدآورنده : / Alexander Gelbukh (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
13. Euro-Par 2018 :
پدیدآورنده : edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
14. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
پدیدآورنده : J.E. Pin )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
15. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
16. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
17. Mathematial systems theory
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، System analysis-- Congresses,، Computer simulation,، Sequential machine theory-- Congresses,، Coding theory-- Congresses
رده :
QA
402
.
C56
18. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
19. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
20. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده : edited by P. Dembinski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88
